void start_kernel() {}
